Arithmetic, enumerative induction and size bias
نویسندگان
چکیده
Abstract Number theory abounds with conjectures asserting that every natural number has some arithmetic property. An example is Goldbach’s Conjecture, which states even greater than 2 the sum of two primes. Enumerative inductive evidence for such usually consists small cases. In absence supporting reasons, mathematicians mistrust arithmetical generalisations, more so most other forms non-deductive evidence. Some philosophers have also expressed scepticism about value enumerative in arithmetic. But why? Perhaps best argument known instances an conjecture are almost always small: they appear at start sequence. Evidence this kind consequently suffers from size bias. My essay shows sort comes many different flavours, raises challenges them all, and explores their respective responses.
منابع مشابه
Enumerative Induction and Lawlikeness
The paper is based on ranking theory, a theory of degrees of disbelief (and hence belief). On this basis, it explains enumerative induction, the confirmation of a law by its positive instances, which may indeed take various schemes. It gives a ranking theoretic explication of a possible law or a nomological hypothesis. It proves, then, that such schemes of enumerative induction uniquely corresp...
متن کاملTransfinite Induction within Peano Arithmetic
The relative strengths of first-order theories axiomatized by transfinite induction, for ordinals less-than ~0, and formulas restricted in quantifier complexity, is determined. This is done, in part, by describing the provably recursive functions of such theories. Upper bounds for the provably recursive functions are obtained using model-theoretic techniques. A variety of additional results tha...
متن کاملDynamic-Bias Induction
A tradeoff exists between the range of learning tasks solved by an induction system, and its performance on those tasks. We propose dynamic-bias induction, an approach in which bias is dynamically constructed as a function of the learning task. This admits the possibility of a high performance inductive learner that applies to a wide range of learning tasks. We assess the benefits and limitatio...
متن کاملSize Matters. Does Bias?
Most empirical disciplines promote the reuse and sharing of datasets, as it leads to greater possibility of replication. While this is increasingly the case in Empirical Software Engineering, some of the most popular bug-fix datasets are now known to be biased. This raises two significants concerns: first, that sample bias may lead to underperforming prediction models, and second, that the exte...
متن کاملThe Induction and Transfer of Declarative Bias
People constantly apply acquired knowledge to new learning tasks, but machines almost never do. Research on transfer learning attempts to address this dissimilarity. Working within this area, we report on a procedure that learns and transfers constraints in the context of inductive process modeling, which we review. After discussing the role of constraints in model induction, we describe the le...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2021
ISSN: ['0039-7857', '1573-0964']
DOI: https://doi.org/10.1007/s11229-021-03198-1